(mark_kboards): Don't mark x and y members

that are overloaded in selection request events.

diff --git a/src/keyboard.c b/src/keyboard.c
index 9ce832ea42cfd8d89617afb785fc1cb04d9f1209..b9e455a4431f0c58bb307b43d2ff645b5b405365 100644 (file)
--- a/src/keyboard.c
+++ b/src/keyboard.c
@@ -11413,8 +11413,11 @@ mark_kboards ()
       {
        if (event == kbd_buffer + KBD_BUFFER_SIZE)
          event = kbd_buffer;
-       mark_object (event->x);
-       mark_object (event->y);
+       if (event->kind != SELECTION_REQUEST_EVENT)
+         {
+           mark_object (event->x);
+           mark_object (event->y);
+         }
        mark_object (event->frame_or_window);
        mark_object (event->arg);
       }